[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 286 438 330 0 1343 0 384 6677

N.S.

1 1.05 1.61 1.21 0.00 4.94 0.00 1.41 24.55

time (sec)

N/A 1.902 6.972 0.756 0.000 11.636 0.000 0.342 28.305

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 194 240 245 0 1114 0 404 5436

N.S.

1 1.18 1.46 1.49 0.00 6.79 0.00 2.46 33.15

time (sec)

N/A 1.333 4.088 0.553 0.000 7.358 0.000 0.327 26.216

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 158 191 185 0 694 0 229 3751

N.S.

1 1.21 1.46 1.41 0.00 5.30 0.00 1.75 28.63

time (sec)

N/A 0.931 0.860 0.398 0.000 2.256 0.000 0.324 24.720

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 111 97 132 0 389 0 174 106

N.S.

1 1.11 0.97 1.32 0.00 3.89 0.00 1.74 1.06

time (sec)

N/A 0.478 0.381 0.236 0.000 0.279 0.000 0.300 17.306

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 149 119 168 0 561 0 201 3763

N.S.

1 1.20 0.96 1.35 0.00 4.52 0.00 1.62 30.35

time (sec)

N/A 0.801 0.789 0.298 0.000 0.307 0.000 0.319 25.186

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 199 147 213 0 788 0 1107 3264

N.S.

1 1.11 0.82 1.18 0.00 4.38 0.00 6.15 18.13

time (sec)

N/A 1.258 1.192 0.463 0.000 0.310 0.000 0.427 22.248

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 275 184 270 0 970 0 340 6730

N.S.

1 1.05 0.70 1.03 0.00 3.72 0.00 1.30 25.79

time (sec)

N/A 1.805 1.529 0.601 0.000 0.328 0.000 0.330 26.792

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 326 418 380 0 2111 0 581 9286

N.S.

1 1.13 1.45 1.31 0.00 7.30 0.00 2.01 32.13

time (sec)

N/A 2.069 7.026 1.062 0.000 27.361 0.000 0.409 30.300

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 256 270 305 0 1419 0 486 6899

N.S.

1 1.16 1.23 1.39 0.00 6.45 0.00 2.21 31.36

time (sec)

N/A 1.517 1.556 0.693 0.000 10.231 0.000 0.379 27.137

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 206 157 238 0 750 0 400 251

N.S.

1 1.14 0.87 1.32 0.00 4.17 0.00 2.22 1.39

time (sec)

N/A 0.950 0.635 0.394 0.000 0.330 0.000 0.361 20.645

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 195 172 236 0 752 0 399 251

N.S.

1 1.19 1.05 1.44 0.00 4.59 0.00 2.43 1.53

time (sec)

N/A 0.767 1.087 0.361 0.000 0.319 0.000 0.352 20.765

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 249 203 287 0 1152 0 457 6911

N.S.

1 1.21 0.99 1.40 0.00 5.62 0.00 2.23 33.71

time (sec)

N/A 1.208 1.667 0.445 0.000 0.353 0.000 0.374 27.333

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 326 232 347 0 1568 0 546 5530

N.S.

1 1.12 0.80 1.20 0.00 5.41 0.00 1.88 19.07

time (sec)

N/A 1.995 2.370 0.804 0.000 0.365 0.000 0.379 25.082

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

485 505 3734 5582 0 0 0 0 0

N.S.

1 1.04 7.70 11.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.488 25.138 37.074 0.000 0.000 0.000 0.000 0.000

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

397 413 3330 4327 0 0 0 0 0

N.S.

1 1.04 8.39 10.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.880 22.564 26.612 0.000 0.000 0.000 0.000 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

314 320 434 3107 0 0 0 0 0

N.S.

1 1.02 1.38 9.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.260 16.532 17.964 0.000 0.000 0.000 0.000 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

256 257 358 2194 0 0 0 0 0

N.S.

1 1.00 1.40 8.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.796 12.659 12.297 0.000 0.000 0.000 0.000 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 320 663 1840 0 0 0 0 0

N.S.

1 1.00 2.07 5.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.116 18.280 4.602 0.000 0.000 0.000 0.000 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 351 843 1856 0 0 0 0 0

N.S.

1 1.02 2.45 5.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.383 14.200 5.408 0.000 0.000 0.000 0.000 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

429 427 1149 2768 0 0 0 0 0

N.S.

1 1.00 2.68 6.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.932 18.247 4.146 0.000 0.000 0.000 0.000 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

573 596 4220 6882 0 0 0 0 0

N.S.

1 1.04 7.36 12.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.874 30.220 44.842 0.000 0.000 0.000 0.000 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

475 491 654 5584 0 0 0 0 0

N.S.

1 1.03 1.38 11.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.251 22.235 39.269 0.000 0.000 0.000 0.000 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

387 395 547 4326 0 0 0 0 0

N.S.

1 1.02 1.41 11.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.671 17.485 24.451 0.000 0.000 0.000 0.000 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

312 318 456 3366 0 0 0 0 0

N.S.

1 1.02 1.46 10.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.090 17.749 20.711 0.000 0.000 0.000 0.000 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

380 381 6017 2988 0 0 0 0 0

N.S.

1 1.00 15.83 7.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.500 24.239 6.365 0.000 0.000 0.000 0.000 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

361 368 971 2955 0 0 0 0 0

N.S.

1 1.02 2.69 8.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.491 18.786 6.536 0.000 0.000 0.000 0.000 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

428 431 1179 3286 0 0 0 0 0

N.S.

1 1.01 2.75 7.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.010 20.265 5.328 0.000 0.000 0.000 0.000 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

520 522 1516 4264 0 0 0 0 0

N.S.

1 1.00 2.92 8.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.644 20.012 6.300 0.000 0.000 0.000 0.000 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

565 583 4227 6884 0 0 0 0 0

N.S.

1 1.03 7.48 12.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.694 26.987 110.835 0.000 0.000 0.000 0.000 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

469 478 3781 5584 0 0 0 0 0

N.S.

1 1.02 8.06 11.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.115 24.767 60.366 0.000 0.000 0.000 0.000 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

384 395 555 4582 0 0 0 0 0

N.S.

1 1.03 1.45 11.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.491 19.212 38.802 0.000 0.000 0.000 0.000 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

442 448 7094 4180 0 0 0 0 0

N.S.

1 1.01 16.05 9.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.901 27.272 10.507 0.000 0.000 0.000 0.000 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

433 439 7745 4119 0 0 0 0 0

N.S.

1 1.01 17.89 9.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.932 28.774 19.829 0.000 0.000 0.000 0.000 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

450 451 1326 4409 0 0 0 0 0

N.S.

1 1.00 2.95 9.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.050 20.235 53.966 0.000 0.000 0.000 0.000 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

518 526 1530 4781 0 0 0 0 0

N.S.

1 1.02 2.95 9.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.684 20.357 169.179 0.000 0.000 0.000 0.000 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

617 624 5172 5805 0 0 0 0 0

N.S.

1 1.01 8.38 9.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.356 22.635 506.523 0.000 0.000 0.000 0.000 0.000

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

411 431 3426 4328 0 0 0 0 0

N.S.

1 1.05 8.34 10.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.869 23.933 33.594 0.000 0.000 0.000 0.000 0.000

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

329 341 453 3111 0 0 0 0 0

N.S.

1 1.04 1.38 9.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.373 17.848 22.515 0.000 0.000 0.000 0.000 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

261 266 335 1945 0 0 0 0 0

N.S.

1 1.02 1.28 7.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.959 13.338 12.728 0.000 0.000 0.000 0.000 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

210 210 312 931 0 0 0 0 0

N.S.

1 1.00 1.49 4.43 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.570 13.040 10.119 0.000 0.000 0.000 0.000 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 208 145 182 0 0 0 0 0

N.S.

1 1.00 0.70 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.631 3.778 3.891 0.000 0.000 0.000 0.000 0.000

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

348 353 418 1351 0 0 0 0 0

N.S.

1 1.01 1.20 3.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.389 13.279 5.104 0.000 0.000 0.000 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

471 486 3953 5461 0 0 0 0 0

N.S.

1 1.03 8.39 11.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.205 23.511 22.523 0.000 0.000 0.000 0.000 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

329 362 527 4221 0 0 0 0 0

N.S.

1 1.10 1.60 12.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.571 20.798 20.083 0.000 0.000 0.000 0.000 0.000

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

275 302 466 3042 0 0 0 0 0

N.S.

1 1.10 1.69 11.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.089 15.558 11.832 0.000 0.000 0.000 0.000 0.000

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 282 324 2190 0 0 0 0 0

N.S.

1 1.11 1.28 8.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.888 16.936 8.612 0.000 0.000 0.000 0.000 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

376 405 1092 2987 0 0 0 0 0

N.S.

1 1.08 2.90 7.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.539 13.735 4.382 0.000 0.000 0.000 0.000 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

427 468 1597 3865 0 0 0 0 0

N.S.

1 1.10 3.74 9.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.971 17.237 6.036 0.000 0.000 0.000 0.000 0.000

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

509 525 4342 9479 0 0 0 0 0

N.S.

1 1.03 8.53 18.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.397 25.293 20.989 0.000 0.000 0.000 0.000 0.000

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

417 432 3920 7755 0 0 0 0 0

N.S.

1 1.04 9.40 18.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.750 25.891 19.506 0.000 0.000 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

387 402 3514 6307 0 0 0 0 0

N.S.

1 1.04 9.08 16.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.525 22.995 12.109 0.000 0.000 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

353 385 559 5262 0 0 0 0 0

N.S.

1 1.09 1.58 14.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.283 18.434 11.622 0.000 0.000 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

495 522 1545 7241 0 0 0 0 0

N.S.

1 1.05 3.12 14.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.120 18.818 5.337 0.000 0.000 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

446 496 723 9224 0 0 0 0 0

N.S.

1 1.11 1.62 20.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.762 22.174 17.391 0.000 0.000 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 76 217 0 0 0 0 0

N.S.

1 1.00 0.75 2.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.785 2.440 1.578 0.000 0.000 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 91 253 0 0 0 0 0

N.S.

1 1.00 0.66 1.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.308 0.908 6.779 0.000 0.000 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

229 229 21744 0 0 0 0 0 0

N.S.

1 1.00 94.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.535 30.155 0.000 0.000 0.000 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

229 229 21684 0 0 0 0 0 0

N.S.

1 1.00 94.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.500 26.975 0.000 0.000 0.000 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

226 226 12792 0 0 0 0 0 0

N.S.

1 1.00 56.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.505 55.944 0.000 0.000 0.000 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

226 226 7106 0 0 0 0 0 0

N.S.

1 1.00 31.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.501 50.984 0.000 0.000 0.000 0.000 0.000 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 147 124 159 266 182 0 473 301

N.S.

1 0.89 0.75 0.96 1.61 1.10 0.00 2.87 1.82

time (sec)

N/A 0.842 0.929 1.166 0.238 0.285 0.000 0.326 20.283

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 131 100 136 218 158 0 428 260

N.S.

1 0.96 0.73 0.99 1.59 1.15 0.00 3.12 1.90

time (sec)

N/A 0.833 0.481 1.142 0.243 0.281 0.000 0.314 20.031

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 103 75 106 155 128 0 261 190

N.S.

1 1.02 0.74 1.05 1.53 1.27 0.00 2.58 1.88

time (sec)

N/A 0.617 0.283 0.842 0.237 0.269 0.000 0.325 19.826

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 92 85 116 118 0 170 164

N.S.

1 1.06 1.33 1.23 1.68 1.71 0.00 2.46 2.38

time (sec)

N/A 0.277 0.013 0.650 0.235 0.268 0.000 0.315 17.242

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 71 74 92 101 0 134 153

N.S.

1 1.00 1.37 1.42 1.77 1.94 0.00 2.58 2.94

time (sec)

N/A 0.506 0.012 0.471 0.224 0.290 0.000 0.296 16.588

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 68 82 89 73 0 159 156

N.S.

1 1.06 0.99 1.19 1.29 1.06 0.00 2.30 2.26

time (sec)

N/A 0.556 0.098 0.260 0.235 0.265 0.000 0.303 16.410

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 94 85 74 98 70 0 227 100

N.S.

1 1.02 0.92 0.80 1.07 0.76 0.00 2.47 1.09

time (sec)

N/A 0.576 0.126 0.419 0.229 0.259 0.000 0.296 16.643

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 111 117 93 132 97 0 392 150

N.S.

1 0.96 1.01 0.80 1.14 0.84 0.00 3.38 1.29

time (sec)

N/A 0.697 0.215 0.583 0.217 0.268 0.000 0.300 16.388

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 138 117 120 166 121 0 437 258

N.S.

1 0.88 0.75 0.77 1.06 0.78 0.00 2.80 1.65

time (sec)

N/A 0.712 0.356 0.786 0.238 0.267 0.000 0.308 20.393

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

233 298 178 197 357 243 0 766 455

N.S.

1 1.28 0.76 0.85 1.53 1.04 0.00 3.29 1.95

time (sec)

N/A 1.602 3.641 1.382 0.246 0.276 0.000 0.340 19.834

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 210 138 182 306 209 0 630 389

N.S.

1 1.05 0.69 0.91 1.53 1.04 0.00 3.15 1.94

time (sec)

N/A 1.093 2.049 1.230 0.223 0.282 0.000 0.328 20.043

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 141 108 136 207 179 0 364 512

N.S.

1 1.05 0.81 1.01 1.54 1.34 0.00 2.72 3.82

time (sec)

N/A 0.473 1.738 0.922 0.228 0.281 0.000 0.333 18.161

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 129 453 152 189 165 0 241 257

N.S.

1 1.02 3.60 1.21 1.50 1.31 0.00 1.91 2.04

time (sec)

N/A 0.507 4.666 0.761 0.217 0.291 0.000 0.317 18.025

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 120 153 134 148 147 0 229 274

N.S.

1 1.02 1.30 1.14 1.25 1.25 0.00 1.94 2.32

time (sec)

N/A 0.893 3.070 0.648 0.220 0.289 0.000 0.326 17.340

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 148 157 133 157 127 0 346 263

N.S.

1 1.05 1.11 0.94 1.11 0.90 0.00 2.45 1.87

time (sec)

N/A 0.982 1.915 0.517 0.222 0.305 0.000 0.314 16.903

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 183 134 132 187 134 0 577 214

N.S.

1 1.05 0.77 0.75 1.07 0.77 0.00 3.30 1.22

time (sec)

N/A 1.025 2.286 0.625 0.239 0.291 0.000 0.314 16.570

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 203 169 167 233 171 0 720 256

N.S.

1 0.94 0.79 0.78 1.08 0.80 0.00 3.35 1.19

time (sec)

N/A 1.235 1.811 0.849 0.250 0.279 0.000 0.333 17.076

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 400 328 283 565 342 0 1370 769

N.S.

1 1.05 0.86 0.74 1.48 0.90 0.00 3.60 2.02

time (sec)

N/A 2.145 11.189 1.725 0.237 0.302 0.000 0.397 18.684

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

286 298 206 243 445 292 0 989 601

N.S.

1 1.04 0.72 0.85 1.56 1.02 0.00 3.46 2.10

time (sec)

N/A 1.541 5.780 1.396 0.242 0.291 0.000 0.372 19.041

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 219 168 212 358 257 0 759 3210

N.S.

1 1.06 0.81 1.02 1.73 1.24 0.00 3.67 15.51

time (sec)

N/A 0.758 2.957 1.367 0.244 0.301 0.000 0.383 19.993

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 199 509 235 280 225 0 438 2437

N.S.

1 1.04 2.65 1.22 1.46 1.17 0.00 2.28 12.69

time (sec)

N/A 0.788 9.469 1.060 0.243 0.284 0.000 0.375 19.070

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 203 320 212 243 208 0 540 3879

N.S.

1 1.00 1.57 1.04 1.19 1.02 0.00 2.65 19.01

time (sec)

N/A 0.887 5.273 0.875 0.232 0.285 0.000 0.349 19.403

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 201 263 206 216 201 0 418 2470

N.S.

1 1.03 1.34 1.05 1.10 1.03 0.00 2.13 12.60

time (sec)

N/A 1.455 3.213 0.886 0.222 0.293 0.000 0.353 19.085

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 235 215 189 246 189 0 723 3250

N.S.

1 1.05 0.96 0.85 1.10 0.85 0.00 3.24 14.57

time (sec)

N/A 1.564 2.309 0.897 0.237 0.292 0.000 0.368 19.847

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 282 288 203 288 207 0 926 359

N.S.

1 1.05 1.07 0.75 1.07 0.77 0.00 3.44 1.33

time (sec)

N/A 1.617 2.776 0.822 0.242 0.288 0.000 0.347 17.735

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 296 369 244 360 256 0 1307 471

N.S.

1 0.92 1.15 0.76 1.12 0.80 0.00 4.08 1.47

time (sec)

N/A 1.892 1.994 0.988 0.255 0.303 0.000 0.368 18.720

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

491 512 458 354 746 450 0 1888 1044

N.S.

1 1.04 0.93 0.72 1.52 0.92 0.00 3.85 2.13

time (sec)

N/A 2.774 11.303 2.194 0.262 0.323 0.000 0.415 20.338

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

384 398 406 329 653 391 0 1658 942

N.S.

1 1.04 1.06 0.86 1.70 1.02 0.00 4.32 2.45

time (sec)

N/A 2.111 11.200 1.975 0.256 0.321 0.000 0.415 19.124

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 307 232 273 497 340 0 1140 4068

N.S.

1 1.06 0.80 0.94 1.71 1.17 0.00 3.93 14.03

time (sec)

N/A 1.121 6.303 1.702 0.236 0.311 0.000 0.394 20.101

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 285 813 355 431 302 0 840 4710

N.S.

1 1.04 2.98 1.30 1.58 1.11 0.00 3.08 17.25

time (sec)

N/A 1.130 15.336 1.498 0.239 0.331 0.000 0.383 21.145

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 282 348 295 335 269 0 550 4849

N.S.

1 1.03 1.27 1.08 1.22 0.98 0.00 2.01 17.70

time (sec)

N/A 1.253 7.504 1.301 0.237 0.295 0.000 0.393 21.251

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

303 307 370 284 311 262 0 543 4839

N.S.

1 1.01 1.22 0.94 1.03 0.86 0.00 1.79 15.97

time (sec)

N/A 1.437 8.263 1.181 0.228 0.300 0.000 0.385 20.949

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 303 382 287 305 263 0 802 4781

N.S.

1 1.03 1.30 0.98 1.04 0.90 0.00 2.74 16.32

time (sec)

N/A 2.201 6.852 1.055 0.229 0.308 0.000 0.388 21.338

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 331 382 258 347 262 0 1094 4118

N.S.

1 1.05 1.22 0.82 1.11 0.83 0.00 3.48 13.11

time (sec)

N/A 2.231 2.995 1.002 0.242 0.326 0.000 0.389 20.418

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

372 383 432 278 415 292 0 1578 534

N.S.

1 1.03 1.16 0.75 1.12 0.78 0.00 4.24 1.44

time (sec)

N/A 2.388 3.862 1.022 0.234 0.281 0.000 0.375 20.375

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

438 409 528 335 498 354 0 1815 675

N.S.

1 0.93 1.21 0.76 1.14 0.81 0.00 4.14 1.54

time (sec)

N/A 2.765 3.581 1.344 0.243 0.322 0.000 0.397 21.867

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 235 170 219 320 268 0 658 3157

N.S.

1 1.10 0.79 1.02 1.50 1.25 0.00 3.07 14.75

time (sec)

N/A 0.973 1.710 1.365 0.229 0.291 0.000 0.364 20.509

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 165 114 141 204 199 0 301 576

N.S.

1 1.11 0.77 0.95 1.37 1.34 0.00 2.02 3.87

time (sec)

N/A 0.680 1.345 0.926 0.234 0.285 0.000 0.330 19.613

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 106 77 109 142 154 0 213 221

N.S.

1 1.09 0.79 1.12 1.46 1.59 0.00 2.20 2.28

time (sec)

N/A 0.421 0.678 0.682 0.227 0.267 0.000 0.300 18.779

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

215 232 512 369 0 817 0 483 7016

N.S.

1 1.08 2.38 1.72 0.00 3.80 0.00 2.25 32.63

time (sec)

N/A 1.567 4.236 0.575 0.000 12.791 0.000 0.345 26.263

[next] [prev] [prev-tail] [front] [up]